Optimal. Leaf size=232 \[ \cosh \left (a+b \sqrt [3]{c}\right ) \text {Chi}\left (b \left (\sqrt [3]{c}-\sqrt [3]{c+d x}\right )\right )+\cosh \left (a+(-1)^{2/3} b \sqrt [3]{c}\right ) \text {Chi}\left (-b \left ((-1)^{2/3} \sqrt [3]{c}-\sqrt [3]{c+d x}\right )\right )+\cosh \left (a-\sqrt [3]{-1} b \sqrt [3]{c}\right ) \text {Chi}\left (b \left (\sqrt [3]{-1} \sqrt [3]{c}+\sqrt [3]{c+d x}\right )\right )-\sinh \left (a+b \sqrt [3]{c}\right ) \text {Shi}\left (b \left (\sqrt [3]{c}-\sqrt [3]{c+d x}\right )\right )-\sinh \left (a+(-1)^{2/3} b \sqrt [3]{c}\right ) \text {Shi}\left (b \left ((-1)^{2/3} \sqrt [3]{c}-\sqrt [3]{c+d x}\right )\right )+\sinh \left (a-\sqrt [3]{-1} b \sqrt [3]{c}\right ) \text {Shi}\left (b \left (\sqrt [3]{-1} \sqrt [3]{c}+\sqrt [3]{c+d x}\right )\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.37, antiderivative size = 232, normalized size of antiderivative = 1.00, number of steps
used = 13, number of rules used = 5, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.278, Rules used = {5473, 5401,
3384, 3379, 3382} \begin {gather*} \cosh \left (a+b \sqrt [3]{c}\right ) \text {Chi}\left (b \left (\sqrt [3]{c}-\sqrt [3]{c+d x}\right )\right )+\cosh \left (a+(-1)^{2/3} b \sqrt [3]{c}\right ) \text {Chi}\left (-b \left ((-1)^{2/3} \sqrt [3]{c}-\sqrt [3]{c+d x}\right )\right )+\cosh \left (a-\sqrt [3]{-1} b \sqrt [3]{c}\right ) \text {Chi}\left (b \left (\sqrt [3]{-1} \sqrt [3]{c}+\sqrt [3]{c+d x}\right )\right )-\sinh \left (a+b \sqrt [3]{c}\right ) \text {Shi}\left (b \left (\sqrt [3]{c}-\sqrt [3]{c+d x}\right )\right )-\sinh \left (a+(-1)^{2/3} b \sqrt [3]{c}\right ) \text {Shi}\left (b \left ((-1)^{2/3} \sqrt [3]{c}-\sqrt [3]{c+d x}\right )\right )+\sinh \left (a-\sqrt [3]{-1} b \sqrt [3]{c}\right ) \text {Shi}\left (b \left (\sqrt [3]{-1} \sqrt [3]{c}+\sqrt [3]{c+d x}\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3379
Rule 3382
Rule 3384
Rule 5401
Rule 5473
Rubi steps
\begin {align*} \int \frac {\cosh \left (a+b \sqrt [3]{c+d x}\right )}{x} \, dx &=\text {Subst}\left (\int \frac {\cosh \left (a+b \sqrt [3]{x}\right )}{-c+x} \, dx,x,c+d x\right )\\ &=3 \text {Subst}\left (\int \frac {x^2 \cosh (a+b x)}{-c+x^3} \, dx,x,\sqrt [3]{c+d x}\right )\\ &=3 \text {Subst}\left (\int \left (-\frac {\cosh (a+b x)}{3 \left (\sqrt [3]{c}-x\right )}-\frac {\cosh (a+b x)}{3 \left (-\sqrt [3]{-1} \sqrt [3]{c}-x\right )}-\frac {\cosh (a+b x)}{3 \left ((-1)^{2/3} \sqrt [3]{c}-x\right )}\right ) \, dx,x,\sqrt [3]{c+d x}\right )\\ &=-\text {Subst}\left (\int \frac {\cosh (a+b x)}{\sqrt [3]{c}-x} \, dx,x,\sqrt [3]{c+d x}\right )-\text {Subst}\left (\int \frac {\cosh (a+b x)}{-\sqrt [3]{-1} \sqrt [3]{c}-x} \, dx,x,\sqrt [3]{c+d x}\right )-\text {Subst}\left (\int \frac {\cosh (a+b x)}{(-1)^{2/3} \sqrt [3]{c}-x} \, dx,x,\sqrt [3]{c+d x}\right )\\ &=-\left (\cosh \left (a+b \sqrt [3]{c}\right ) \text {Subst}\left (\int \frac {\cosh \left (b \sqrt [3]{c}-b x\right )}{\sqrt [3]{c}-x} \, dx,x,\sqrt [3]{c+d x}\right )\right )-\cosh \left (a-\sqrt [3]{-1} b \sqrt [3]{c}\right ) \text {Subst}\left (\int \frac {\cos \left ((-1)^{5/6} b \sqrt [3]{c}+i b x\right )}{-\sqrt [3]{-1} \sqrt [3]{c}-x} \, dx,x,\sqrt [3]{c+d x}\right )-\cosh \left (a+(-1)^{2/3} b \sqrt [3]{c}\right ) \text {Subst}\left (\int \frac {\cos \left (\sqrt [6]{-1} b \sqrt [3]{c}+i b x\right )}{(-1)^{2/3} \sqrt [3]{c}-x} \, dx,x,\sqrt [3]{c+d x}\right )+\sinh \left (a+b \sqrt [3]{c}\right ) \text {Subst}\left (\int \frac {\sinh \left (b \sqrt [3]{c}-b x\right )}{\sqrt [3]{c}-x} \, dx,x,\sqrt [3]{c+d x}\right )+\left (i \sinh \left (a-\sqrt [3]{-1} b \sqrt [3]{c}\right )\right ) \text {Subst}\left (\int \frac {\sin \left ((-1)^{5/6} b \sqrt [3]{c}+i b x\right )}{-\sqrt [3]{-1} \sqrt [3]{c}-x} \, dx,x,\sqrt [3]{c+d x}\right )+\left (i \sinh \left (a+(-1)^{2/3} b \sqrt [3]{c}\right )\right ) \text {Subst}\left (\int \frac {\sin \left (\sqrt [6]{-1} b \sqrt [3]{c}+i b x\right )}{(-1)^{2/3} \sqrt [3]{c}-x} \, dx,x,\sqrt [3]{c+d x}\right )\\ &=\cosh \left (a+b \sqrt [3]{c}\right ) \text {Chi}\left (b \sqrt [3]{c}-b \sqrt [3]{c+d x}\right )+\cosh \left (a-\sqrt [3]{-1} b \sqrt [3]{c}\right ) \text {Chi}\left (\sqrt [3]{-1} b \sqrt [3]{c}+b \sqrt [3]{c+d x}\right )+\cosh \left (a+(-1)^{2/3} b \sqrt [3]{c}\right ) \text {Chi}\left (-(-1)^{2/3} b \sqrt [3]{c}+b \sqrt [3]{c+d x}\right )-\sinh \left (a+b \sqrt [3]{c}\right ) \text {Shi}\left (b \sqrt [3]{c}-b \sqrt [3]{c+d x}\right )-\sinh \left (a+(-1)^{2/3} b \sqrt [3]{c}\right ) \text {Shi}\left ((-1)^{2/3} b \sqrt [3]{c}-b \sqrt [3]{c+d x}\right )+\sinh \left (a-\sqrt [3]{-1} b \sqrt [3]{c}\right ) \text {Shi}\left (\sqrt [3]{-1} b \sqrt [3]{c}+b \sqrt [3]{c+d x}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 9 vs. order 4 in
optimal.
time = 0.06, size = 231, normalized size = 1.00 \begin {gather*} \frac {1}{2} \left (\text {RootSum}\left [c-\text {$\#$1}^3\&,\cosh (a+b \text {$\#$1}) \text {Chi}\left (b \left (\sqrt [3]{c+d x}-\text {$\#$1}\right )\right )-\text {Chi}\left (b \left (\sqrt [3]{c+d x}-\text {$\#$1}\right )\right ) \sinh (a+b \text {$\#$1})-\cosh (a+b \text {$\#$1}) \text {Shi}\left (b \left (\sqrt [3]{c+d x}-\text {$\#$1}\right )\right )+\sinh (a+b \text {$\#$1}) \text {Shi}\left (b \left (\sqrt [3]{c+d x}-\text {$\#$1}\right )\right )\&\right ]+\text {RootSum}\left [c-\text {$\#$1}^3\&,\cosh (a+b \text {$\#$1}) \text {Chi}\left (b \left (\sqrt [3]{c+d x}-\text {$\#$1}\right )\right )+\text {Chi}\left (b \left (\sqrt [3]{c+d x}-\text {$\#$1}\right )\right ) \sinh (a+b \text {$\#$1})+\cosh (a+b \text {$\#$1}) \text {Shi}\left (b \left (\sqrt [3]{c+d x}-\text {$\#$1}\right )\right )+\sinh (a+b \text {$\#$1}) \text {Shi}\left (b \left (\sqrt [3]{c+d x}-\text {$\#$1}\right )\right )\&\right ]\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.63, size = 0, normalized size = 0.00 \[\int \frac {\cosh \left (a +b \left (d x +c \right )^{\frac {1}{3}}\right )}{x}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 503 vs.
\(2 (182) = 364\).
time = 0.45, size = 503, normalized size = 2.17 \begin {gather*} \frac {1}{2} \, {\rm Ei}\left (-{\left (d x + c\right )}^{\frac {1}{3}} b - \frac {1}{2} \, \left (b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} + 1\right )}\right ) \cosh \left (\frac {1}{2} \, \left (b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} + 1\right )} - a\right ) + \frac {1}{2} \, {\rm Ei}\left ({\left (d x + c\right )}^{\frac {1}{3}} b - \frac {1}{2} \, \left (-b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} + 1\right )}\right ) \cosh \left (\frac {1}{2} \, \left (-b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} + 1\right )} + a\right ) + \frac {1}{2} \, {\rm Ei}\left (-{\left (d x + c\right )}^{\frac {1}{3}} b + \frac {1}{2} \, \left (b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} - 1\right )}\right ) \cosh \left (\frac {1}{2} \, \left (b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} - 1\right )} + a\right ) + \frac {1}{2} \, {\rm Ei}\left ({\left (d x + c\right )}^{\frac {1}{3}} b + \frac {1}{2} \, \left (-b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} - 1\right )}\right ) \cosh \left (\frac {1}{2} \, \left (-b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} - 1\right )} - a\right ) + \frac {1}{2} \, {\rm Ei}\left (-{\left (d x + c\right )}^{\frac {1}{3}} b + \left (b^{3} c\right )^{\frac {1}{3}}\right ) \cosh \left (a + \left (b^{3} c\right )^{\frac {1}{3}}\right ) + \frac {1}{2} \, {\rm Ei}\left ({\left (d x + c\right )}^{\frac {1}{3}} b + \left (-b^{3} c\right )^{\frac {1}{3}}\right ) \cosh \left (-a + \left (-b^{3} c\right )^{\frac {1}{3}}\right ) + \frac {1}{2} \, {\rm Ei}\left (-{\left (d x + c\right )}^{\frac {1}{3}} b - \frac {1}{2} \, \left (b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} + 1\right )}\right ) \sinh \left (\frac {1}{2} \, \left (b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} + 1\right )} - a\right ) + \frac {1}{2} \, {\rm Ei}\left ({\left (d x + c\right )}^{\frac {1}{3}} b - \frac {1}{2} \, \left (-b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} + 1\right )}\right ) \sinh \left (\frac {1}{2} \, \left (-b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} + 1\right )} + a\right ) - \frac {1}{2} \, {\rm Ei}\left (-{\left (d x + c\right )}^{\frac {1}{3}} b + \frac {1}{2} \, \left (b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} - 1\right )}\right ) \sinh \left (\frac {1}{2} \, \left (b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} - 1\right )} + a\right ) - \frac {1}{2} \, {\rm Ei}\left ({\left (d x + c\right )}^{\frac {1}{3}} b + \frac {1}{2} \, \left (-b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} - 1\right )}\right ) \sinh \left (\frac {1}{2} \, \left (-b^{3} c\right )^{\frac {1}{3}} {\left (\sqrt {-3} - 1\right )} - a\right ) - \frac {1}{2} \, {\rm Ei}\left (-{\left (d x + c\right )}^{\frac {1}{3}} b + \left (b^{3} c\right )^{\frac {1}{3}}\right ) \sinh \left (a + \left (b^{3} c\right )^{\frac {1}{3}}\right ) - \frac {1}{2} \, {\rm Ei}\left ({\left (d x + c\right )}^{\frac {1}{3}} b + \left (-b^{3} c\right )^{\frac {1}{3}}\right ) \sinh \left (-a + \left (-b^{3} c\right )^{\frac {1}{3}}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\cosh {\left (a + b \sqrt [3]{c + d x} \right )}}{x}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\mathrm {cosh}\left (a+b\,{\left (c+d\,x\right )}^{1/3}\right )}{x} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________